Self-Improvement for the ADATE Automati Programming System
نویسنده
چکیده
منابع مشابه
Self-improvement For The ADATE Automatic Programming System
Automatic Design of Algorithms Through Evolution (ADATE) [2] is a system for automatic programming based on the neutral theory of evolution [1] . This theory states that the majority of molecular changes in evolution are due to neutral or almost neutral mutations. A consequence is that most of the variability and polymorphism within a species comes from mutation-driven drift of alleles that are...
متن کاملThe Art of Writing Specifications for the ADATE Automatic Programming System
The main difficulty for the user of an automatic programming system is to write a specification that the system can employ to synthesize desirable programs. We discuss how to write specifications for the ADATE system and present examples of specifications and the corresponding synthesized programs. We show how ADATE can be used to synthesize parts of specifications as well as desirable programs...
متن کاملInductive Functional Programming Using Incremental Program Transformation
The paper presents a system, ADATE, for automatic functional programming. ADATE uses speci cations that contain few constraints on the programs to be synthesized and that allow a wide range of correct programs. ADATE can generate novel and unexpected recursive programs with automatic invention of recursive auxiliary functions. Successively better programs are developed using incremental program...
متن کاملEdge Pixel Classification Using Automatic Programming
We have considered edge detection as a classification problem, and we have applied two popular machine learning techniques to the problem and compared their best results to that of automatic programming. We show that ADATE, our system for automatic programming, is capable of producing solutions that are as good as, or better than, the best solutions generated by two other machine learning techn...
متن کاملImproving Graph-Based Image Segmentation Using Automatic Programming
This paper investigates how Felzenszwalb’s and Huttenlocher’s graph-based segmentation algorithm can be improved by automatic programming. We show that computers running Automatic Design of Algorithms Through Evolution (ADATE), our system for automatic programming, have induced a new graph-based algorithm that is 12 percent more accurate than the original without affecting the runtime efficienc...
متن کامل